//
// Created by Administrator on 2022/10/10 0010.
//
#include "print.h"

int main (int argc, char *argv[])
{
    printk("Hello!\n");
    return 0;
}